#!/bin/sh

# The executable bits on this script should be set

echo Hello
